Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
371	Output-Based Error Estimation and Mesh Adaptation in Computational Fluid Dynamics: Overview and Recent Results Krzysztof J. Fidkowski ∗ University of Michigan, Ann Arbor, MI[removed]David L. Darmofal † Add to Reading List Source URL: www-personal.umich.edu Language: English - Date: 2009-01-07 18:00:06 Adjoint equation Differential calculus Discretization error Computational fluid dynamics Dual space Mathematics Linear algebra Functional analysis
372	Delimited Continuations The Bee’s Knees Quasiconf 2012 Andy Wingo Add to Reading List Source URL: wingolog.org Language: English - Date: 2012-08-26 05:24:36 Control flow Continuations Subroutines Delimited continuation Lambda calculus Functional programming Call-with-current-continuation Scheme Racket Software engineering Computing Computer programming
373	Cosmology on the Ball Alan Heavens Imperial College Science on the Sphere, Chicheley Hall, 2014 Add to Reading List Source URL: lateuniverse.files.wordpress.com Language: English - Date: 2014-07-15 00:54:32 Functional analysis Laplace operator Multivariable calculus Spherical coordinate system Distribution Mathematical analysis Fourier analysis Generalized functions
374	Practical Implementation of a Dependently Typed Functional Programming Language by Edwin C. Brady Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2005-11-24 08:52:53 Theoretical computer science Lambda calculus Functional languages Data types Dependent type Type system Functional programming Programming language Epigram Programming language theory Type theory Software engineering
375	Joachim Niehren Functional Computation as Concurrent Computation RR-95-1 Research Repo Add to Reading List Source URL: scidok.sulb.uni-saarland.de Language: English - Date: 2012-02-16 07:03:49 Models of computation Software engineering Lambda calculus Programming paradigms Calculus Actor model Denotational semantics Functional programming Type theory Theoretical computer science Logic in computer science Computing
376	Ivor, a Proof Engine Edwin Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed]. Tel: +[removed], Fax: +[removed] Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2007-02-05 08:12:08 Functional languages Type theory Lambda calculus Logic in computer science Functional programming Combinatory logic Fixed-point combinator Dependent type Monad Software engineering Declarative programming Theoretical computer science
377	PLMMS Preface This volume contains the papers presented at PLMMS-2013: 5th International Workshop on Programming Languages for Mechanised Mathematical Systems 2013 held on July 9, 2013 in Bath. There were 3 submissions. Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-10 05:43:59 Type theory Functional languages Logic in computer science Formal methods Theory of computation Dependent type Agda Formal verification Typed lambda calculus Programming language theory Theoretical computer science Software engineering
378	ZU064-05-FPR impldtp 15 September 2013 Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2013-09-15 12:12:41 Programming language theory Data types Functional programming Dependently typed programming Logic in computer science Lambda calculus System F Type system Curry–Howard correspondence Software engineering Computing Type theory
379	Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2002-03-29 07:37:15 Data types Subroutines Lambda calculus Functional programming Primitive types Closure Evaluation strategy Free variables and bound variables Function Software engineering Computing Computer programming
380	c Applied Mathematics E-Notes, [removed]), [removed] Available free at mirror sites of http://www.math.nthu.edu.tw/∼amen/ ISSN[removed] Add to Reading List Source URL: www.math.nthu.edu.tw Language: English - Date: 2010-10-22 04:31:20 Calculus Calculus of variations Functional analysis Variational inequality Complementarity theory Mathematical optimization Variational principle Inequality Differential variational inequality Mathematical analysis Mathematics Partial differential equations

UPDATE